[IA64] fix a vhpi bug
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 21 Sep 2006 21:33:50 +0000 (15:33 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 21 Sep 2006 21:33:50 +0000 (15:33 -0600)
commitfdd036c9b10d0a29b5f2f0271a0af3f3e7cb8d2b
treec99d5001db7fa3a245e71c513d06033884537259
parent84804f40f963d9eac6d6504c40293b3735bbd66e
[IA64] fix a vhpi bug

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/vmx/vlsapic.c